perm filename HJS.FRM[P,JRA]3 blob sn#204217 filedate 1976-03-01 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00001 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
∂23-JAN-76  0632	HJS   via NBST	Book 
John, 

Thanks for your book.  I have been away for a long time.  I just 
returned from the SIGPLAN-SIGACT conference in Atlanta.  It was 
basically a LISP conference.  When you get a hold of the proceedings 
you will see that most of the papers dealt with LISP.  I talked to  
several people there and there was almost a uniform consensus 
(see how carefully I choose the people to talk to!) that the time has 
come for a simple and clean LISP - very much like what I  propose.  
The book looks very good.  It looks like I will only be able to 
teach my course next spring but I will try to push for fall.  
As you may have heard I was in California for a few days and at 
stanford for one night (and part of two  days).  I regret not having 
looked you up but there were certain affairs I had to take care of which
precluded my doing so.  

How is the LISP business going.  At the moment I dont have too much time 
for the small machine stuff but after the end of the term would be fine.  I am teaching the Knuth course and the same elementary programming 
course.  I am also trying to get a couple of papers out - such is 
the life in academia!  Keep in touch.  We can talk over the machine 
in the mornings.  So long.  

                                    Hanan, 

∂02-FEB-76  0903	HJS   via NBST	letter    
Got your letter.  Sure I will write you a letter of recommendation.  
However, please tell me what you want me to say.  I have never done 
this before.  Uzgalis tells me that he asks people to write a 
letter for themselves.  Why Arizona and not Stanford where you are 
close?  Let me know about HP problems.  Back to letter.  What do you want 
me to stress?  
1. Teaching at San Jose State and UCLA.  This will have to be qualified 
by a statement that I had no first hand observation.  
2.  Quality of book.  
3.  One of pioneers of LISP and theorem proving.  
Anyway, you might want to write me a rough draft.  Let me know.  

Good Luck!  


                              Hanan, 

∂27-FEB-76  0723	HJS   via NBST	message   
John, 

I have been working on a paper most of the time.  I was using SUMEX 
due to the heavy crunch and slow response at the lab.  I think that 
the guy from Maryland at the conferencce was Austing (Atchison was 
also there).  I believe they were talking about my course.  It is 
slated for spring 1977.  The PDP-11 LISP here is working but address space 
is rather limited.  The guy is now implementing a compiler.  He is using some of 
my ideas on efficient code generation.  He is implementing WISCONSI LISP 
on the PDP-11.  I will send off a copy of the documentation to you.  
Just give me the address to which it should be sent.  I have not thought 
much about small machine recently although I would be interested to 
compare ideas.  For a start you could look at the file NOTES<SAMET> at 
SUMEX where I have jotted down some thoughts.  What about setting 
some time one day and can link up on the computer?  I sent off a 
glowing note about you to Arizona.  Keep in touch.  

                                Hanan,